Nuprl Definition : matters def 0,22
M(a;g;x) is Primitive 
latex

FDL editor aliasesmatters

origin